verification theorem

检验定理

热门查询

plughole　　n. 塞孔，插孔；出水孔，放水孔
VAR　　n. (Var)人名；(法、俄)瓦尔；(柬)瓦 abbr. 加值型经销商(=Value Added reseller)；视听范围(=visual-aural range)；【计】变量（=variable，被用作定义变量的关键字）；垂直机载火箭（Vertical Aircraft Rocket）
misidentify　　vt. 识别错
Hauser　　[人名] 豪泽; [地名] [美国] 霍瑟
e.g.　　adv. 举例来说（等于for example）
recycler　　n. [计] 反复循环器，[化工] 再循环器
macroscopically　　宏观地
spell　　n. 符咒；一段时间；魅力 vi. 拼字；轮替 vt. 拼，拼写；意味着；招致；拼成；迷住；轮值 n. (Spell)人名；(英)斯佩尔
dumbo　　n. （美口）救护（搜索）飞机；（口）傻瓜 n. (Dumbo)人名；(马拉)敦博
overrepresentation　　比例过高
laserjet　　n. 激光打印机
veil　　n. 面纱；面罩；遮蔽物；托词 vt. 遮蔽；掩饰；以面纱遮掩；用帷幕分隔 vi. 蒙上面纱；出现轻度灰雾 n. (Veil)人名；(法)韦伊；(德)法伊尔
hollowness　　n. 空旷；空虚；凹陷
preside　　vi. 主持，担任会议主席 vt. 管理
relaunched　　v. 重新发动，重新发射( relaunch的过去式和过去分词 )
Maharashtra　　n. 马哈拉施特拉邦（印度西部邦）
evangelisation　　n. evangelise的变形
death sentence　　n. 死刑 [网络] 非法制裁；死亡裁决；死亡宣判
sapper　　n. 工兵；坑道工兵；挖掘器 n. (Sapper)人名；(英)萨珀；(德)扎佩尔
sociolinguistic　　adj. 社会语言学的